This paper shows the brain correlates of Cloninger’s personality model during the presentation of social scenarios under positive or negative valence situations. Social scenarios were constructed when participants played the Dictator game with two confederates that had two opposites roles as the cooperator and non-cooperator. Later the same day during a fMRI scanning session, participants read negative and positive situations that happened to confederates in the past. Participants were asked to think “how do you think those people felt during that (...) situation?” A dissimilarity matrix between stimuli were obtained from fMRI results. Results shown that Harm Avoidance trait people make use of right middle frontal gyrus and left superior frontal gyrus to discriminate between Coop and NoCoop. Cooperation as a trait makes use of the right superior temporal gyrus and the right precuneus to discriminate between Coop and NoCoop in positive social scenarios. Finally, Self-directedness trait people make use of the right inferior parietal lobe to discriminate between Coop and NoCoop in negative social scenarios and the right precuneus to discriminate between Coop and Strangers. An intuitive link between discrimination findings and behavioral patterns of those personality traits is proposed. (shrink)

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

En este artículo se fundamenta y promueve la necesidad de comprensión de lo local como escala de lo social, y como una producción social resultante de la acción e interacción de agentes que actúan desde diferentes escalas, intereses y objetivos. Se sostiene, además que ello ha sido un campo analítico de bajo desarrollo en Chile y América Latina, aunque se puede inventariar un conjunto de aproximaciones que directa o indirectamente se han referido a ello en el pasado. Por otro lado, (...) se incentiva y se problematiza una orientación política que, dentro de un plano de “estilos de desarrollo”, valorice las dinámicas endógenas locales, es decir con protagonismo de los agentes locales. Ello se fundamenta en la necesidad de hacer visible y proyectar poderes periféricos velados por un cierto “centralismo intelectual”, por la importancia que la calidad de los territorios locales tienen en nuestras vidas, por la necesidad de saldar cuentas con una construcción de “lo nacional” que oprimió diversidades y, finalmente, para evitar la imposición de racionalidades y agentes globales que, bajo un discurso de universalidad, impongan intereses particulares. (shrink)

A força actual da microeconomia enquanto chave para a compreensão da vida económica, e a predominância dos mercados sobre as instituições políticas na nova ordern mundial, coloca novos desafios à Ética Económica. Por outro lado, urna teoria da Justiça focalizada em instituições macrosociais dificilmente poderá responder de modo adequado a tais desafios. Neste sentido, o presente artigo tenta sobretudo explorar as enormes potencialidades associadas com a teoria Escolástica da Justiça, teoria essa que focaliza a sua atenção nas decisões dos agentes (...) económicos. Ora é precisamente em ordern a atingir tal objectivo que o autor do artigo recorre ao pensamento de Francisco de Vitoria como principal fonte de inspiração. Mostra-se, desta forma, até que ponto a tradição Escolástica de reflexão sobre o problema da Justiça se revela perfeitamente integrável nos temas e nas preocupações éticas associadas com a microeconomia do nosso tempo. De resto, é por isso mesmo que o autor do artigo sugere este tipo de abordagem como uma das linhas de resposta mais promissoras aos desafios lauçados ao pensamento, e à reflexão ética em particular, pelas novas realidades e pelas novas abordagens da Economia contemporânea. According to the author, the current strength of Microeconomics as a key for understanding economic life, and the predominance of markets over political institutions in the new world order, poses new challenges to Economic Ethics. On the other hand, it is also taken into account the fact that a theory of justice focused on macrosocial institutions is not particularly well suited to undertake those challenges. The article, therefore, aims at explodng some of the potentialities of the Scholastic theory of justice, a theory that is precisely focused on the decision of economic agents. By choosing the works of Francisco de Vitoria as his main reference, the author shows how one of the most distinctive marks of the Scholastic approach consists precisely in the way it facilitates, and promotes, a close integration with Microeconomics. The final purpose of the article, therefore, is to propose such programmatic idea as a promising line of answer to the challenges that the new realities and approaches of economics are now posing anew to the ethical reflection. (shrink)

AI systems are bringing an augmentation of human capabilities to shape the world. They may also drag a replacement of human conscience in large chunks of life. AI systems can be designed to leave moral control in human hands, to obstruct or diminish that moral control, or even to prevent it, replacing human morality with pre-packaged or developed ‘solutions’ by the ‘intelligent’ machine itself. Artificial Intelligent systems (AIS) are increasingly being used in multiple applications and receiving more attention from the (...) public and private organisations. The purpose of this article is to offer a mapping of the technological architectures that support AIS, under the specific focus of the moral agency. Through a literature research and reflection process, the following areas are covered: a brief introduction and review of the literature on the topic of moral agency; an analysis using the BDI logic model (Bratman 1987); an elemental review of artificial ‘reasoning’ architectures in AIS; the influence of the data input and the data quality; AI systems’ positioning in decision support and decision making scenarios; and finally, some conclusions are offered about regarding the potential loss of moral control by humans due to AIS. This article contributes to the field of Ethics and Artificial Intelligence by providing a discussion for developers and researchers to understand how and under what circumstances the ‘human subject’ may, totally or partially, lose moral control and ownership over AI technologies. The topic is relevant because AIS often are not single machines but complex networks of machines that feed information and decisions into each other and to human operators. The detailed traceability of input-process-output at each node of the network is essential for it to remain within the field of moral agency. Moral agency is then at the basis of our system of legal responsibility, and social approval is unlikely to be obtained for entrusting important functions to complex systems under which no moral agency can be identified. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

En este trabajo analizamos las relaciones de complementación en la lengua toba hablada en el este de la provincia de Formosa en estrecha correlación con construcciones seriales simétricas. Se trata de dos tipos de cláusulas complejas cercanas –argumentos compartidos, los dos o más verbos son finitos, no existe marca evidente de subordinación en términos sintácticos– por lo cual los límites entre ambas no resultan evidentes. Por este motivo, proponemos un abordaje de tipo funcional de la subordinación. En línea con la (...) propuesta de Cristófaro, entendemos la subordinación como una relación asimétrica entre dos eventos y no como un tipo específico de cláusula. Proponemos que no existe la complementación en esta lengua como tipo de cláusula y que la “incrustación” no es un criterio que nos permita abordar el fenómeno. El corpus se compone de cinco horas de texto libre narrativo relevado en sucesivos trabajos de campo en las comunidades tobas de Barrio Nam Qom y la ex Colonia secular Bartolomé de Las Casas. (shrink)

Enlightening and entertaining, _Philosophical Tales_ examines a few of the fascinating biographical details of history’s greatest philosophers and highlights their contributions to the field. By applying the true philosophical approach to philosophy itself, the text provides us with a refreshing 'alternative history' of philosophy. Opens up new philosophical debate by applying the true philosophical approach to philosophy itself Provides summaries of the most celebrated and philosophically interesting tales, their backgrounds, and assessments of the leading players Explores philosophers and schools of (...) thought in one key philosophical text to supply a solid grounding in philosophical ideas and individuals Shakes some of the foundations of philosophy with the aim of encouraging the reinvigoration of philosophy itself. (shrink)

Enlightening and entertaining, _Philosophical Tales_ examines a few of the fascinating biographical details of history’s greatest philosophers and highlights their contributions to the field. By applying the true philosophical approach to philosophy itself, the text provides us with a refreshing 'alternative history' of philosophy. Opens up new philosophical debate by applying the true philosophical approach to philosophy itself Provides summaries of the most celebrated and philosophically interesting tales, their backgrounds, and assessments of the leading players Explores philosophers and schools of (...) thought in one key philosophical text to supply a solid grounding in philosophical ideas and individuals Shakes some of the foundations of philosophy with the aim of encouraging the reinvigoration of philosophy itself. (shrink)

The global market for biologics and biosimilar pharmaceutical products is experiencing rapid expansion, primarily driven by the continuous discovery of new molecules. However, information regarding Latin America’s biological market remains limited.

Cuando nos enfrentamos a una obra de autor normalmente queremos adjudicarnos la propiedad física de la misma, ya sea porque quien escribe representa un referente en las temáticas definidas o porque la denominación o título provoca una especie de comezón cognitiva, y hacer caso omiso de ella, podría provocarnos un colapso por privación de pertenencia. Sea cual fuera el caso, la obra de Raúl González se inscribe en una especie de síntesis de las dos situaciones antes expresadas. Es (...) uno de esos .. (shrink)

This study is based on the Acts of Peter, an apocryphal writing of the New Testament. The book, which is actually a work “pious”, popular and exemplary, recounts numerous episodes of magic. Of special interest to maintain the pulse Simon Peter vs Simon Magus, doing magic and miracles in Rome. The ideological background of the book is is an attack against the figure of the bad Roman emperors, whose model is Nerone, character ridiculed as murderer and persecutor of Christians.

This chapter contains sections titled: Acosta, José de (1539–1600) Alberdi, Juan Bautista (1810–84) Bello, Andrés (1781–1865) Bilbao, Francisco (1823–65) Bolkvar, Simón (1783–1830) Casas, Bartolomé de las (1484–1566) Caso, Antonio (1883–1946) Cruz, Sor Juana Inés de la (1651–95) da Costa, Newton Carneiro Affonso (b. 1929) Dussel, Enrique (b. 1934) Frondizi, Risieri (1910–83) Gaos, José (1900–69) González Prada, Manuel (1848–1918) Gracia, Jorge J. E. (b. 1942) Haya de la Torre, Victor Raúl (1895–1979) Hostos, Eugenio Marka de (1839–1903) Ingenieros, José (1877–1925) (...) Korn, Alejandro (1860–1936) Lastarria, José Victorino (1817–88) Lemos, Miguel (1854–1917) Mariátegui, José Carlos (1895–1930) Martk, José (1853–95) Méndez Sierra, Justo (1848–1912) Mora, José Maria Luis (1794–1850) Miró Quesada, Francisco (b. 1918) Rabossi, Eduardo (1930–2005) Ramos, Samuel (1897–1959) Rodó, José Enrique (1872–1917) Romero, Francisco (1891–1962) Sahagún, Fray Bernardino de (1499–1590) Salazar Bondy, Augusto (1925–74) Sarmiento, Domingo Faustino (1811–88) Ofelia Schutte (b. 1945) Sepslveda, Juan Ginés de (ca. 1494–1573) Torretti, Roberto (b. 1930) Vasconcelos, José (1882–1959) Vaz Ferreira, Carlos (1872–1958) Villoro, Luis (b. 1922) Vitoria, Francisco de (ca. 1483–1546) Zea Aguilar, Leopoldo (1912–2004) Acknowledgment Further Reading. (shrink)

The relation between Wittgenstein's philosophy of mathematics and mathematical Intuitionism has raised a considerable debate. My attempt is to analyse if there is a commitment in Wittgenstein to themes characteristic of the intuitionist movement in Mathematics and if that commitment is one important strain that runs through his Remarks on the foundations of mathematics. The intuitionistic themes to analyse in his philosophy of mathematics are: firstly, his attacks on the unrestricted use of the Law of Excluded Middle; secondly, his distrust (...) of non-constructive proofs; and thirdly, his impatience with the idea that mathematics stands in need of a foundation. These elements are Fogelin's starting point for the systematic reconstruction of Wittgenstein's conception of mathematics. (shrink)

En este artículo analizo algunos aspectos claves del desarrollo y la evolución de las musicalizaciones de textos poéticos en Chile y profundizo en su relación con el canon literario. El análisis lo realizo tomando como referencia tres producciones de relevancia en el escenario músico-poético chileno: la musicalización del poema Alturas de Macchu Picchu de Pablo Neruda por Los Jaivas (1981), el disco Desiertos de amor (2011) de Raúl Zurita junto al grupo González y Los Asistentes, y la musicalización (...) de poemas de Elicura Chihuailaf por el grupo Kalfu en su disco Trawvn = ReUnión (2017). En términos generales, el estudio propone que las musicalizaciones de poesía constituyen un aporte a los estudios literarios, ya que permiten ampliar las perspectivas de análisis más allá de lo textual, lo que ropicia un entendimiento más profundo de las particularidades de la producción poética. (shrink)

This paper outlines a procedure for assessing the quality of failure explanations in engineering failure analysis. The procedure structures the information contained in explanations such that it enables to find weak points, to compare competing explanations, and to provide redesign recommendations. These features make the procedure a good asset for critical reflection on some areas of the engineering practice of failure analysis and redesign. The procedure structures relevant information contained in an explanation by means of structural equations so as to (...) make the relations between key elements more salient. Once structured, the information is examined on its potential to track counterfactual dependencies by offering answers to relevant what-if-things-had-been-different questions. This criterion for explanatory goodness derives from the philosophy of science literature on scientific explanation. The procedure is illustrated by applying it to two case studies, one on Failure Analysis in Mechanical Engineering (a broken vehicle shaft) and one on Failure Analysis in Civil Engineering (a collapse in a convention center). The procedure offers failure analysts a practical tool for critical reflection on some areas of their practice while offering a deeper understanding of the workings of failure analysis (framing it as an explanatory practice). It, therefore, allows to improve certain aspects of the explanatory practices of failure analysis and redesign, but it also offers a theoretical perspective that can clarify important features of these practices. Given the programmatic nature of the procedure and its object (assessing and refining explanations), it extends work on the domain of computational argumentation. (shrink)

Introduction: What is to be gained from a confrontation between Plato and Heidegger? -- Heidegger's critical reading of Plato in the 1920s -- Dialectic, ethics, and dialogue -- Heidegger's critique of dialectic in the 1920s --Ethics and ontology -- Ethics in Plato's sophist -- Heidegger and dialogue -- Logos and being -- The tensions in Heidegger's critique -- The guiding perspective of Plato as undermining the ontic/ontological distinction -- Heidegger on Plato's forms -- Conclusion: The relation between being and Heidegger (...) on Plato's truth and untruth in the 1930s and 1940s -- From the 1931-32 and 1933-34 courses on the essence of truth to "Plato's doctrine -- Of truth" : Heidegger's transformation of Plato into platonism through the interpretation of the sun and cave analogies of the republic -- The courses on the essence of truth from WS 1931/32 and WS 1933/34 -- Plato's truth in the beitråge of 1936-38 -- Plato's doctrine of truth in 1940 -- The end of truth : the 1964 retraction -- Conclusion: The end of truth? -- The dialogue that could have been : Hidegger on the Theaetetus -- The Theaetetus interpretation in Die Grundbegriffe der antiken philosophie (SS 1926) -- The interpretation of the Theaetetus in the Vom Wesen der wahrheit course of 1931-32 and 1933-34 -- Conclusion: Heidegger's orthodoxy -- The 1942 interpretation of Plato in the myth of the (Republic book 10) -- The Roman versus the Greek conception of truth saying in the myth of ER -- Purging the myth of ER : the ontologizing of ethics and politics -- The Greek experience of the open : a saying that points and hints versus the "Leap" -- Conclusion: Leaping beyond Plato -- Opportunities for a dialogue with Plato in the late Heidegger -- Calculative thinking, meditative thinking, and the practice of dialogue -- Heidegger's critique of logos in the 1930s -- Dialogue as bringing to speech the unsaid -- Plato's dialectic or Hegel's? -- A saying beyond assertion -- Plato's dialogues and Heidegger's leap -- Heidegger and the dialogue form -- Redefining hermeneutics -- Back to the beginning with dialectic and dialogue -- Conclusion: Dialectic versus sophia again -- 7 dialectic and phenomenology in "Zeit und Sein" : a pivotal chapter in Heidegger's confrontation with Plato -- From dialectic and hermeneutics to phenomenology -- The Auseinandersetzung with Plato. (shrink)

Una búsqueda en la historia de las publicaciones de la provincia de Camagüey, fundamentalmente revistas y periódicos que incluyeron artículos de carácter científico entre las décadas del treinta y el cincuenta del siglo XX, es propósito esencial de este trabajo. El sondeo realizado permitió la valoración de la figura de la primera doctora camagüeyana en Medicina Gertrudis Aguilera Céspedes y su actuación descollante en este período. Para ello se revisaron los documentos que atesoran la Sala de Fondos Raros y Valiosos (...) de la Biblioteca Provincial “Julio Antonio Mella”, el Departamento de Investigaciones del Museo Provincial “Ignacio Agramonte” y bibliotecas particulares de algunos médicos y profesionales del territorio. La búsqueda condujo a la demostración del impacto que en el orden científico representó esta galena y además, una contribución para preservar la memoria cultural de nuestra ciudad A search in the Camagüey´s publications, mainly articles with scientific purposes during the thirty's up to the fifty's in the XX Century, is covered under the scope of this work. The study was carried out to value the figure of the first female doctor in Medicine Gertrudis Aguilera Cespedes and her outstanding performance at that time. Some journals and documents from different libraries were revised. The search led to the demonstration of the impact that Tula Aguilera represented for this scientific field, at the same time this is a contribution to preserve the cultural memory of Camagüey city. (shrink)

El artículo analiza las ideas filosóficas de Lisandro de la Torre, dirigente político y destacado legislador argentino de vasta trayectoria pública entre 1890 y 1937, a partir de algunas conferencias y escritos de sus últimos años. En el enfoque de su cosmovisión se toman en cuenta, por un lado, la relación entre filosofía, ciencia y religión, y, por otro, la concepción antropológica, mostrando la influencia de perspectivas filosóficas como el panteísmo y el positivismo. El estudio somete a crítica la desvinculación (...) entre política y filosofía que hacía el propio de la Torre. Antes bien, concluye en que ambas esferas se encuentran conectadas y constituyen una raíz fundante del pensamiento latorrista.The article analyses Lisandro de la Torre's philosophical ideas. He was an important Argentinian politician, who had an active public life, mainly, as a legislator, between 1890 and 1937. The study is based upon some lectures and writings from his last years. His cosmological view is examined through the relation among philosophy, science and religion, on one hand, and through his anthropological account, on the other hand. The influence of pantheism and positivism is pointed out in both perspectives. It is criticised de la Torre's claim about politics as an anti-philosophical activity by arguing that philosophy and politics may be considered as foundations of his thought. (shrink)

En este trabajo se analiza la idea de justicia como principio inspirador de buen gobierno y, de cómo ha evolucionado. La estrecha relación actual entre orden y justicia, ha supuesto la aparición de un paradigma democrático que tiene más que ver con las ideas de estabilidad y seguridad que con la idea de justicia. Tal circunstancia ha desembocado en una utopía normativa en la que orden y justicia, libertad y seguridad, se oponen entre sí en detrimento de la pluralidad política (...) y de los espacios participativos. (shrink)

Philip Kitcher is among the key philosophers of science of our times. This volume offers an up to date analysis of his philosophical perspective taking into account his views on scientific realism and democratic society. The contributors to the volume focus on four different aspects of Kitcher’s thought: the evolution of his philosophy, his present views on scientific realism, the epistemological analysis of his modest realism, and his conception of scientific practice. In the final chapter, the philosopher replies to his (...) critics. The volume will be of interest to philosophers as well as anyone interested in the relation between science and society. (shrink)